A programming model for concurrent object-oriented programs

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs

Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races, and deadlocks. We propose a programming model that prevents data races and deadlocks, and supports local reasoning in the presence of object aliasing and concurrency. Our programming model builds on the multithreading and synchronization primitives as they are present...

Verifiable Programming Model for Concurrent Object - Oriented Programs

Proefschrift voorgedragen tot het behalen van het doctoraat in de ingenieurswetenschappen door Bart JACOBS Alle rechten voorbehouden. Niets uit deze uitgave mag worden vermenigvuldigd en/of openbaar gemaakt worden door middel van druk, fotocopie, microfilm, elektronisch of op welke andere wijze ook zonder voorafgaande schriftelijke toe-stemming van de uitgever. All rights reserved. No part of t...

CONCURRENT Object-Oriented Programming

significant trends have underscored the central role of concurrency in computing. First, there is increased use of interacting processes by individual users, for example, application programs running on X windows. Second, workstation networks have become a cost-effective CONCURRENT OBJECT-ORIENTED mechanism for resource sharing and distributed problem solving. For example , loosely coupled prob...

Concurrent Object-Oriented Programming

A Highly Parallel Model for Object-Oriented Concurrent Constraint Programming

Two of the currently most promising programming paradigms, namely Object-Oriented Programming and Concurrent Constraint Programming are combined into a single, highly parallel computational model based on Term Graph Rewriting Systems. In particular, we show how multi-headed Term Graph rewrite rules provide a powerful tool able to manipulate Term Graphs which themselves represent in a homogeneou...